home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / Passed / test3.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  448 b   |  21 lines

  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. /* Tests list processing */
  5.  
  6. main :- append([ok1,wg1,ok2,wg2], [ok3,wg3], X),
  7.     filter(X, [ok3, ok2, ok1], Y),
  8.     write(Y), nl.
  9.  
  10. append([],X,X).
  11. append([X|Xs],Y,[X|Zs]) :- append(Xs,Y,Zs).
  12.  
  13. member(X,[X|Xs]).
  14. member(X,[_|Xs]) :- member(X,Xs).
  15.  
  16. filter([], T, []).
  17. filter([X|Xs], T, [X|Zs]) :- member(X, T), !, filter(Xs, T, Zs).
  18. filter([X|Xs], T, Zs) :- filter(Xs, T, Zs).
  19.  
  20.  
  21.